	char ch=getchar();
//	if (isdigit(ch))//ch>'0'&&ch<''